comparison TOOLS/realcodecs/14_4.sh @ 10157:e21bdbee4de2

Make configure run even on non POSIX compliant shells (Solaris). Patch by Gtz Waschk <waschk@informatik.uni-rostock.de>.
author diego
date Fri, 23 May 2003 00:24:28 +0000
parents 5ea24082eaaa
children
comparison
equal deleted inserted replaced
10156:eafe9a587896 10157:e21bdbee4de2