--- layout: fc_discuss_archives title: Message 33 from Frama-C-discuss on October 2009 ---
Richard Bonichon a ?crit : >> 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 ... In Debian, dash is now the default shell and it works perfectly well. Moreover, we now have a FreeBSD port (Debian GNU/kFreebsd) and frama-c compiles perfectly well on all of them. To check for bashims, you might use: http://svn.debian.org/wsvn/devscripts/trunk/scripts/checkbashisms.pl Cheers, -- Mehdi Dogguy ???? ????? http://dogguy.org/