11 lines
119 B
Text
11 lines
119 B
Text
|
#!/usr/bin/env bash
|
||
|
|
|
||
|
|
set -e
|
||
|
|
|
||
|
|
for d in ci manual; do
|
||
|
|
pushd $(dirname $0)/$d
|
||
|
|
./rebuild "$@"
|
||
|
|
./push
|
||
|
|
popd
|
||
|
|
done
|