>> sudo docker run -ti klee/klee >> klee@2f1c0eaa949c:~$ wget >> http://ftp.gnu.org/gnu/coreutils/coreutils-6.11.tar.gz >> klee@2f1c0eaa949c:~$ tar xf coreutils-6.11.tar.gz >> klee@2f1c0eaa949c:~$ cd coreutils-6.11 >> klee@2f1c0eaa949c:~/coreutils-6.11$ mkdir obj-gcov && cd obj-gcov >> klee@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. _______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
