blob: 7dfbda7307a5c73d179363c795256058a218550d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
#!/bin/sh -e
if ! data/build_"$PACKAGEFORMAT".sh; then
echo
echo "ERROR: build failed!"
echo
if [ -n "$RUN_SHELL_ON_ERROR" ]; then
bash
fi
exit 1
fi
echo
echo "Build successful!"
echo
|