41e34e76d8
It's not necessary to use strip -x otherwise, so let's just use it for the JIT library. |
||
---|---|---|
.. | ||
configure-flags.nix | ||
extra-target-flags.nix | ||
mfcgthreads-patches-repo.nix | ||
platform-flags.nix | ||
pre-configure.nix |
41e34e76d8
It's not necessary to use strip -x otherwise, so let's just use it for the JIT library. |
||
---|---|---|
.. | ||
configure-flags.nix | ||
extra-target-flags.nix | ||
mfcgthreads-patches-repo.nix | ||
platform-flags.nix | ||
pre-configure.nix |