diff options
-rw-r--r-- | gnu/packages/emulators.scm | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gnu/packages/emulators.scm b/gnu/packages/emulators.scm index d81e9509e9..6d07441377 100644 --- a/gnu/packages/emulators.scm +++ b/gnu/packages/emulators.scm @@ -133,8 +133,8 @@ (base32 "010h3aj0y9n8kcg5yvy1m7g4hc7nbm5gym5r3f3jmk5vyb8c8z8x")))) (build-system gnu-build-system) (arguments - `(#:configure-flags '("--disable-html-docs" - "--disable-pdf-docs"))) + (list #:configure-flags #~(list "--disable-html-docs" + "--disable-pdf-docs"))) (native-inputs (list bison dos2unix |