Unverified Commit 4947d15d authored by quantenzitrone's avatar quantenzitrone
Browse files

nixosTests.agda.base: fix build

the binary adga-mode has been deprecated
one is supposed to use the main binary with --emacs-mode instead
parent ffcdcf99
Loading
Loading
Loading
Loading
+0 −1
Original line number Diff line number Diff line
@@ -26,7 +26,6 @@ in
  testScript = ''
    # agda and agda-mode are in path
    machine.succeed("agda --version")
    machine.succeed("agda-mode")

    # Minimal script that typechecks
    machine.succeed("touch TestEmpty.agda")