diff options
Diffstat (limited to 'gnu/packages/fpga.scm')
| -rw-r--r-- | gnu/packages/fpga.scm | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/gnu/packages/fpga.scm b/gnu/packages/fpga.scm index c812ed3b7e..c658ed8da4 100644 --- a/gnu/packages/fpga.scm +++ b/gnu/packages/fpga.scm @@ -121,9 +121,7 @@ formal verification.") (build-system gnu-build-system) (arguments (list - #:test-target "check" - #:make-flags #~(list (string-append "PREFIX=" - #$output)) + #:make-flags #~(list (string-append "PREFIX=" #$output)) #:bootstrap-scripts #~(list "autoconf.sh"))) (native-inputs (list autoconf bison flex gperf)) (home-page "https://steveicarus.github.io/iverilog") |