10:48 < kraptor> cj, I found a bug in make.sh in Tao, pushd is only defined in

bash, no in sh, son the start must be #!/bin/bash instead of sh


svn path=/trunk/tao/; revision=75091

make.sh

@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 # Builds the Tao Framework using both Prebuild and autotools 
 
 configure_args=$1