Undo accidental delete

2024-10-07 16:06:09 -07:00 · 2024-10-07 16:06:09 -07:00 · 51538c9196
parent 59bcc6086c
commit 51538c9196
1 changed files with 2 additions and 0 deletions
--- a/flake.nix
+++ b/flake.nix
@ -185,6 +185,8 @@
          buildInputs = [ zynqpkgs.mkbootimage ];
        }
        ''
+          # Do not use "long" paths in boot.bif, because embedded developers
+          # can't write software (mkbootimage will segfault).        
          bifdir=`mktemp -d`
          cd $bifdir
          ln -s ${szl}/szl.elf szl.elf