Skip to content

Instantly share code, notes, and snippets.

@expipiplus1
Created August 11, 2016 11:05
Show Gist options
  • Save expipiplus1/167c9c431ade9bf1f58961547fe2199f to your computer and use it in GitHub Desktop.
Save expipiplus1/167c9c431ade9bf1f58961547fe2199f to your computer and use it in GitHub Desktop.
# If this source is local, strip a bunch of things from the source before
# building to make the has change a little less.
mkDerivation =
args: super.mkDerivation (args // (
if (args ? src)
then {src = maybeFilterSource args.src;}
else {}
));
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment