This commit is contained in:
Ciro Santilli
2018-04-20 17:51:17 +01:00
parent 05888ec5c1
commit 4e0d9af81f
6 changed files with 146 additions and 16 deletions

View File

@@ -16,6 +16,6 @@ shift "$(($OPTIND - 1))"
for arch in x86_64 arm aarch64; do
./build -a "$arch" -klq
if "$gem5"; then
./build -a "$arch" -g -Gkl
./build -a "$arch" -Gkl
fi
done