Closed svigerske closed 5 years ago
Comment by @h-i-gassmann created at 2011-03-04 14:17:13
Version: trunk
Comment by @h-i-gassmann created at 2012-04-13 09:50:53
This problem is caused by DyLP and should be fixed there.
Comment by @h-i-gassmann created at 2012-04-13 09:50:53
Resolution: wontfix
Issue created by migration from Trac.
Original creator: @h-i-gassmann
Original creation time: 2011-03-04 14:14:16
Version:
in trunk version 4072, make distclean fails in DyLP:
make[2]: Entering directory `/home/gassmann/datafiles/research/OS/OS-trunk-work/vpath-debug/DyLP'
rm -rf .libs _libs
/bin/bash: ./build_dylpdoc: /bin/csh: bad interpreter: No such file or directory
make[3]: Entering directory `/home/gassmann/datafiles/research/OS/OS-trunk-work/vpath-debug/DyLP/doc'
make[3]: *** No targets specified and no makefile found.Stop.
make[3]: Leaving directory `/home/gassmann/datafiles/research/OS/OS-trunk-work/vpath-debug/DyLP/doc'
make[2]: *** [mostlyclean-local] Error 2
make[2]: Leaving directory `/home/gassmann/datafiles/research/OS/OS-trunk-work/vpath-debug/DyLP'
make[1]: *** [distclean-recursive] Error 1
make[1]: Leaving directory `/home/gassmann/datafiles/research/OS/OS-trunk-work/vpath-debug/DyLP'
make: *** [distclean-recursive] Error 1
(changed by @h-i-gassmann at 2011-03-04 14:15:30)