diff options
Diffstat (limited to 'script/trees')
| -rwxr-xr-x | script/trees | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/script/trees b/script/trees index ddaaa6b5..f8fad0a3 100755 --- a/script/trees +++ b/script/trees @@ -17,7 +17,6 @@ eval "`setvars "" xarch srcdir premake gnatdir xlang mode makeargs elfdir cmd \ # ./mk -f will set this to "n" do_make="y" -mode="all" # make all # badhash changes to "y" when sources change badhash="n" |