Portability fix: 'if ! diff ...' is not always supported in sh.
authorPeter Verthez <Peter.Verthez@advalvas.be>
Wed, 23 Oct 2002 17:01:38 +0000 (17:01 +0000)
committerPeter Verthez <Peter.Verthez@advalvas.be>
Wed, 23 Oct 2002 17:01:38 +0000 (17:01 +0000)
commit613b373ecea9c382ed14cfc091e3f92627de631b
treeac8b47a11c6df23939a9cf2c0603b0d152056799
parent277664a9bac6dc4483cd046965f004255108c0ce
Portability fix: 'if ! diff ...' is not always supported in sh.
Makefile.inc