diff options
author | Thomas Voss <mail@thomasvoss.com> | 2023-05-24 01:59:00 +0200 |
---|---|---|
committer | Thomas Voss <mail@thomasvoss.com> | 2023-05-24 01:59:00 +0200 |
commit | ca5fa047343470826da1843b6ce5a0ae9f02a5fb (patch) | |
tree | 57e13c9f6852995f8e7c847d22a13fecd9ccd1ba /build | |
parent | 4e7535fd73d232a51629fc33f65a61754a155b22 (diff) |
More changes
Diffstat (limited to 'build')
-rwxr-xr-x | build | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -7,8 +7,8 @@ require fsub gawk go pee sponge PATH="$PATH:scripts" -rm -rf out -mkdir out +rm -rf out/* +mkdir -p out cp -r src/* out compile_for_lang() { |