diff options
Diffstat (limited to 'gnustep-apps/gnustep-projectcenter/BUILD')
-rwxr-xr-x | gnustep-apps/gnustep-projectcenter/BUILD | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/gnustep-apps/gnustep-projectcenter/BUILD b/gnustep-apps/gnustep-projectcenter/BUILD new file mode 100755 index 0000000000..6fc8b739d4 --- /dev/null +++ b/gnustep-apps/gnustep-projectcenter/BUILD @@ -0,0 +1,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 |