diff options
author | Andraž Levstik | 2007-04-20 22:55:40 +0200 |
---|---|---|
committer | Andraž Levstik | 2007-04-20 22:55:40 +0200 |
commit | 6e09e8ddaf7693ed84fe83d18e2853aacc6aa8ac (patch) | |
tree | da2ebf934a9c05be0a0791078db545ca2fa975f2 /gnustep-libs/FUNCTIONS | |
parent | 6413f59fdf0c670033a2e0507f98259f16b5b177 (diff) |
gnustep-libs/FUNCTIONS: forgot some things
Diffstat (limited to 'gnustep-libs/FUNCTIONS')
-rwxr-xr-x | gnustep-libs/FUNCTIONS | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/gnustep-libs/FUNCTIONS b/gnustep-libs/FUNCTIONS index 05eecd02a4..9852e6120c 100755 --- a/gnustep-libs/FUNCTIONS +++ b/gnustep-libs/FUNCTIONS @@ -17,9 +17,19 @@ function default_build() function default_post_install() { - real_default_post_install + real_default_post_install && if [[ -x /usr/bin/make_services ]]; then message "Running make_services" /usr/bin/make_services fi } + +# forgot this +function default_final() +{ + if [[ -x /usr/bin/make_services ]]; then + message "Running make_services" + /usr/bin/make_services + fi +} + |