aboutsummaryrefslogtreecommitdiff
path: root/run
diff options
context:
space:
mode:
authorMarvin Borner2020-10-25 17:52:28 +0100
committerMarvin Borner2020-10-25 17:52:28 +0100
commit4ec7c19e1567f322b1622ad506290e8eb7a4956d (patch)
tree2fbd1e7f92973105d3dea8e55fd12c8b989050cf /run
parentc9f89174b9ce73ed93bfad14d57b8f1a43db6bf6 (diff)
Some fixes :)
Diffstat (limited to 'run')
-rwxr-xr-xrun2
1 files changed, 2 insertions, 0 deletions
diff --git a/run b/run
index b18a550..cc5c405 100755
--- a/run
+++ b/run
@@ -244,8 +244,10 @@ elif [ "${mode}" = "again" ]; then
make_test
elif [ "${mode}" = "disasm" ]; then
make_cross
+ make_clean
make_build
make_disasm
+ make_clean
elif [ "${mode}" = "sync" ]; then
make_sync
elif [ "${mode}" = "disk" ]; then