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