blob: 6fc8b739d478041d7218c97cdbd93c2a1757fc46 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
|
if [ -f /etc/profile.d/GNUstep.sh ];
then
. /etc/profile.d/GNUstep.sh
else
message "${ERROR_COLOR}Unable to find /etc/profile.d/GNUstep.sh"
message "Rebuild gnustep-make${DEFAULT_COLOR}"
exit 1
fi &&
make_single
make
make_normal
|