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