[klee-dev] error : klee + coreutils + experimental [+docker]

[Dan Liew]

>> sudo docker run -ti klee/klee
>> klee at 2f1c0eaa949c:~$ wget
>> http://ftp.gnu.org/gnu/coreutils/coreutils-6.11.tar.gz
>> klee at 2f1c0eaa949c:~$ tar xf coreutils-6.11.tar.gz
>> klee at 2f1c0eaa949c:~$ cd coreutils-6.11
>> klee at 2f1c0eaa949c:~/coreutils-6.11$ mkdir obj-gcov && cd obj-gcov
>> klee at 2f1c0eaa949c:~/coreutils-6.11/obj-gcov$ ../configure --disable-nls
>> CFLAGS="-g -fprofile-arcs -ftest-coverage"
>>
>> config.status: executing po-directories commands
>> config.status: creating po/POTFILES
>> config.status: creating po/Makefile
>> rm: cannot remove 'confdir3/confdir3/confdir3/..
>> .(many many repetitions ).../confdir3/confdir3': File name too long

Oh I forgot to mention that (just in case it wasn't implied). I can't
reproduce the above behaviour.