diff options
| author | Marvin Borner | 2020-05-13 21:27:34 +0200 |
|---|---|---|
| committer | Marvin Borner | 2020-05-13 21:27:34 +0200 |
| commit | 10be53d077c238801f328bef4d11abfec61324db (patch) | |
| tree | 02c22f020527bfd5e10a9c4a0171274ede1686a3 /run | |
| parent | 3624343800de35b9058c11186dc02dd20d98aedf (diff) | |
Added sync in every build
Diffstat (limited to 'run')
| -rwxr-xr-x | run | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -198,6 +198,7 @@ elif [ "${mode}" = "clean" ]; then elif [ "${mode}" = "test" ]; then make_cross make_build + make_sync & make_test elif [ "${mode}" = "again" ]; then make_test @@ -220,9 +221,11 @@ elif [ "${mode}" = "tidy" ]; then elif [ "${mode}" = "font" ]; then make_font make_tidy + make_sync & elif [ "${mode}" = "" ]; then # TODO: Prevent code duplication in build script via functions? make_cross make_build + make_sync & make_test else echo "Please use the following syntax:" |