11 lines
126 B
Bash
Executable File
11 lines
126 B
Bash
Executable File
#!/bin/bash
|
|
|
|
set -e
|
|
|
|
. scripts.inc
|
|
|
|
for dir in $DEVEL; do
|
|
echo $dir
|
|
(cd $dir && make build BUILDFLAGS="$BUILDFLAGS")
|
|
done
|