add auto-gen comments | git init dromajo dir

2020-05-19 18:54:37 -07:00
parent dca6604cf4
commit 0d087b6d32
2 changed files with 4 additions and 0 deletions
--- a/scripts/init-submodules-no-riscv-tools-nolog.sh
+++ b/scripts/init-submodules-no-riscv-tools-nolog.sh
@@ -73,4 +73,5 @@ git submodule update --init software/firemarshal
 if [ ! -f $RDIR/software/firemarshal/marshal-config.yaml ]; then
  echo "firesim-dir: '../../sims/firesim/'" > $RDIR/software/firemarshal/marshal-config.yaml
 fi
+echo "# line auto-generated by init-submodules-no-riscv-tools.sh" >> $RDIR/env.sh
 echo "PATH=\$( realpath \$(dirname "\${BASH_SOURCE[0]:-\${\(%\):-%x}}") )/software/firemarshal:\$PATH" >> $RDIR/env.sh