diff options
| author | Michael Neves | 2012-11-07 17:33:09 +0100 |
|---|---|---|
| committer | Michael Neves | 2012-11-07 17:33:09 +0100 |
| commit | 64a7b82c0746161398a6b9d6776ed60596a5ea9a (patch) | |
| tree | 8dfbbc6aaacac9fb66066af4b0bcb2e19814107c /remote | |
| parent | ignore server/stage3.1 (build dir) (diff) | |
| download | tm-scripts-64a7b82c0746161398a6b9d6776ed60596a5ea9a.tar.gz tm-scripts-64a7b82c0746161398a6b9d6776ed60596a5ea9a.tar.xz tm-scripts-64a7b82c0746161398a6b9d6776ed60596a5ea9a.zip | |
build_core2
Diffstat (limited to 'remote')
| -rwxr-xr-x | remote/setup-tools.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/remote/setup-tools.sh b/remote/setup-tools.sh index f9867048..a345293d 100755 --- a/remote/setup-tools.sh +++ b/remote/setup-tools.sh @@ -122,6 +122,7 @@ main () { fetch_source build copyfileswithdependencies + cd $TOOL_DIR else echo "Tool directory not found." fi |