diff options
| -rw-r--r-- | gnu/packages/linux.scm | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/gnu/packages/linux.scm b/gnu/packages/linux.scm index 95c609201c..c02084f52f 100644 --- a/gnu/packages/linux.scm +++ b/gnu/packages/linux.scm @@ -2263,6 +2263,11 @@ compliance.") (build-system gnu-build-system) (arguments '(#:phases (modify-phases %standard-phases + (add-after 'unpack 'gzip-determinism + (lambda _ + (substitute* "Makefile" + (("gzip") "gzip --no-name")) + #t)) (delete 'configure)) ;; The 'all' target of the makefile depends on $(REGDB_CHANGED), which |