39 lines
573 B
Bash
Executable file
39 lines
573 B
Bash
Executable file
#!/bin/sh
|
|
|
|
esc() {
|
|
: # comment out the following line to disable color output
|
|
printf '\33[%dm' "$1"
|
|
}
|
|
|
|
echo_red() {
|
|
esc 31
|
|
echo "$1"
|
|
esc 0
|
|
}
|
|
|
|
echo_green() {
|
|
esc 32
|
|
echo "$1"
|
|
esc 0
|
|
}
|
|
|
|
# check OS/architecture
|
|
|
|
if uname -a | grep -i 'x86_64' | grep -i -q 'linux'; then
|
|
: # all good
|
|
else
|
|
echo_red "Only 64-bit Linux is supported. This doesn't seem to be 64-bit Linux."
|
|
exit 1
|
|
fi
|
|
|
|
cd 00
|
|
rm -f out00
|
|
make -s out00
|
|
if [ "$(cat out00)" != 'Hello, world!' ]; then
|
|
echo_red 'Stage 00 failed.'
|
|
exit 1
|
|
fi
|
|
rm -f out00
|
|
cd ..
|
|
|
|
echo_green 'all stages completed successfully!'
|