diff options
author | Weijia Wang <9713184+wegank@users.noreply.github.com> | 2023-03-24 13:55:26 +0200 |
---|---|---|
committer | Weijia Wang <9713184+wegank@users.noreply.github.com> | 2023-03-24 13:55:26 +0200 |
commit | 4c7c8a68a095940ac71f2c675edc8e4c2f70b680 (patch) | |
tree | 51d28a39e7b56f851ba2786f391e28af9c97f1ae /pkgs/desktops | |
parent | f06b91b301c16aef906e4e6fe7379d801aad99c3 (diff) |
gnustep.make: allow overriding preConfigure in gsmakeDerivation
Diffstat (limited to 'pkgs/desktops')
-rw-r--r-- | pkgs/desktops/gnustep/make/builder.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/pkgs/desktops/gnustep/make/builder.sh b/pkgs/desktops/gnustep/make/builder.sh index e5c277e796afd..736635ab50269 100644 --- a/pkgs/desktops/gnustep/make/builder.sh +++ b/pkgs/desktops/gnustep/make/builder.sh @@ -1,7 +1,11 @@ if [ -e .attrs.sh ]; then source .attrs.sh; fi source $stdenv/setup +providedPreConfigure="$preConfigure"; + preConfigure() { + eval "$providedPreConfigure" + . $GNUSTEP_MAKEFILES/GNUstep.sh } |