diff options
| author | Aria Shrimpton <me@aria.rip> | 2024-01-30 00:09:07 +0000 |
|---|---|---|
| committer | Aria Shrimpton <me@aria.rip> | 2024-01-30 00:09:07 +0000 |
| commit | f91b46b7923bbf63947e5e517b892a3bffd18af4 (patch) | |
| tree | e9d2231a031ec3fd61643468d9c0f17dd1383857 /nix/racket-env.nix | |
| parent | e468995e496806811536e38e7e55d16c209b19bd (diff) | |
missing backslashes
Diffstat (limited to 'nix/racket-env.nix')
| -rw-r--r-- | nix/racket-env.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/nix/racket-env.nix b/nix/racket-env.nix index af924b1..cadc022 100644 --- a/nix/racket-env.nix +++ b/nix/racket-env.nix @@ -430,7 +430,7 @@ in installPhase = '' mkdir -p $out/bin makeWrapper ${racket}/bin/racket $out/bin/racket \ - --set PLTADDONDIR ${collection}; - --prefix PATH : ${pkgs.z3}/bin + --set PLTADDONDIR ${collection} \ + --prefix PATH : ${pkgs.z3}/bin; ''; } |