diff options
author | Weijia Wang <9713184+wegank@users.noreply.github.com> | 2023-03-24 16:15:23 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-03-24 16:15:23 +0200 |
commit | fea3fca22f136cbbf9ffea5fb071b0f9f47ce4f6 (patch) | |
tree | a26bb3e82349fdfa9e5e833119ed2b285a6b9ad8 /pkgs/desktops | |
parent | 710f06363a9ca9eb34edb43f963a525bde60e04d (diff) | |
parent | 4c7c8a68a095940ac71f2c675edc8e4c2f70b680 (diff) |
Merge pull request #222886 from wegank/gnustep-builder
gnustep: 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 } |