git://git.onelab.eu
/
myplc.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
07061f7
)
- fix comment
author
Mark Huang
<mlhuang@cs.princeton.edu>
Fri, 31 Mar 2006 21:38:07 +0000
(21:38 +0000)
committer
Mark Huang
<mlhuang@cs.princeton.edu>
Fri, 31 Mar 2006 21:38:07 +0000
(21:38 +0000)
build.sh
patch
|
blob
|
history
diff --git
a/build.sh
b/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