diff options
| author | David Chavez <david@dcvz.io> | 2022-08-02 16:22:20 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-08-02 16:22:20 +0200 |
| commit | 61c68666d622bddf1c8964cb3160ce5d0198af74 (patch) | |
| tree | 9dfa9e03a168ce60373b77e6f455ec469c6acd45 /scripts/switch | |
| parent | 4ed82c71dc9e24748cb06a6c70f4d52e87372ecc (diff) | |
Closer align Makefiles & Dockerfiles (#748)
Diffstat (limited to 'scripts/switch')
| -rwxr-xr-x | scripts/switch/build.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/scripts/switch/build.sh b/scripts/switch/build.sh new file mode 100755 index 000000000..e5d65d99d --- /dev/null +++ b/scripts/switch/build.sh @@ -0,0 +1,4 @@ +#!/bin/bash + +make setup -C soh -j$(nproc) OPTFLAGS=-O2 DEBUG=0 +make -f Makefile.switch -j$(nproc) |