Changes between Version 19 and Version 20 of WikiStart

Timestamp:

16/11/10 13:24:09 (9 years ago)

Author:

dlove

Comment:

--

WikiStart

@@ -89 +89 @@
 {{{
 cd source
-./aimk -only-depend && scripts/zerodepend && ./aimk depend &&
+csh aimk -only-depend && scripts/zerodepend && ./aimk depend &&
 ./aimk -system-libs -no-gui-inst
 }}}
@@ -95 +95 @@
 {{{
 cd source
-./aimk -only-depend && scripts/zerodepend && 
+csh aimk -only-depend && scripts/zerodepend && 
 ./aimk -no-java -no-jni depend &&
 ./aimk -system-libs -no-gui-inst -no-java -no-jni
 }}}
+The explicit use of `csh` the first time allows `aimk` to set
+necessary executable permissions, which will be missing if you pulled
+with git or hg, or didn't use `--set-scripts-executable` with darcs.
+
 For further information, see
 [source:/sge/source/README.BUILD README.BUILD] and