- fix comment
authorMark Huang <mlhuang@cs.princeton.edu>
Fri, 31 Mar 2006 21:38:07 +0000 (21:38 +0000)
committerMark Huang <mlhuang@cs.princeton.edu>
Fri, 31 Mar 2006 21:38:07 +0000 (21:38 +0000)
build.sh

index d8e946f..0795f7f 100755 (executable)
--- a/build.sh
+++ b/build.sh
@@ -18,7 +18,7 @@ if [ -d ../build ] ; then
     PATH=$PATH:../build
     srcdir=..
 else
-    echo "Error: Could not find sources in either . or .."
+    echo "Error: Could not find $(cd .. && pwd -P)/build/"
     exit 1
 fi