diff options
| author | Dirk Engling <erdgeist@erdgeist.org> | 2014-02-25 02:09:17 +0100 |
|---|---|---|
| committer | Dirk Engling <erdgeist@erdgeist.org> | 2014-02-25 02:09:17 +0100 |
| commit | 0f51b876db8df4f5c9cb3908d93c8fba381ddae4 (patch) | |
| tree | 41bd61c7086d743196a87c640fa3ab96ff8bfaff | |
| parent | ff9ef5c015e23a6b64d7e48bd545043d030c6a66 (diff) | |
Make target was renamed
| -rwxr-xr-x | makecolumns.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/makecolumns.sh b/makecolumns.sh index 4acbdd8..2389920 100755 --- a/makecolumns.sh +++ b/makecolumns.sh | |||
| @@ -20,7 +20,7 @@ main() { | |||
| 20 | fi | 20 | fi |
| 21 | 21 | ||
| 22 | # Compile all the binaries | 22 | # Compile all the binaries |
| 23 | make binaries | 23 | make all |
| 24 | 24 | ||
| 25 | printf "Cleaning up old working directory ... " | 25 | printf "Cleaning up old working directory ... " |
| 26 | rm -rf work/`basename "${1#white_}"` | 26 | rm -rf work/`basename "${1#white_}"` |