--- layout: fc_discuss_archives title: Message 32 from Frama-C-discuss on October 2009 ---
> Maybe your default /bin/sh on FreeBSD is not sh-compatible (which > would be weird as well). Of course everybody read "sh-compatible" as meaning "posix-compliant" :-) For example, there were some problems some times ago (see http://www.bogofilter.org/pipermail/bogofilter-dev/2002-November/000683.html ) If you try and succeed with another (supposedly posix compliant) shell (neither sh nor bash in your case - maybe ksh) then you will know who to blame ... -- Richard Bonichon