blob: 7025b8c8eaf2a886cb8c959edf9ba4f7c4a5e21b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
|
#!/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
echo 'Processing stage 00...'
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 'Processing stage 01...'
cd 01
rm -f out0[01]
make -s out01
if [ "$(./out01)" != 'Hello, world!' ]; then
echo_red 'Stage 01 failed.'
exit 1
fi
rm -f out0[01]
cd ..
echo_green 'all stages completed successfully!'
|