Repository navigation

Simplify the run scripts - #735

Open

asarhaddon wants to merge 10 commits into

kanaka:masterfrom

asarhaddon:ocaml

Open

Simplify the run scripts#735
asarhaddon wants to merge 10 commits into
kanaka:masterfrom
asarhaddon:ocaml

Commits on Jul 20, 2026
- awk: the -O option is enabled by default
  asarhaddon
  committed
  e24a2fa
- vhdl: clean vhdl_argv.tmp in Makefile instead of run
  asarhaddon
  committed
  7b8fe27
- Remove unnecessary shebangs or execution rights
  asarhaddon
  committed
  7c9f49c
- Merge some run scripts [1/2]
  asarhaddon
  committed
  41fd226
- Merge some run scripts [2/2]
  asarhaddon
  committed
  a657d3d
- scheme: in run script, compute paths portably and on demand
  asarhaddon
  committed
  5b94c45
- perl: (style) silent a warning about comparing an undefined value
  asarhaddon
  committed
  47c4d23
- perl: set readline raw mode during tests
  asarhaddon
  committed
  2bac97c
- run scripts: improve style
  asarhaddon
  committed
  7d81acc
- Make explicit that each run script is executed in its own directory
  asarhaddon
  committed
  d2d001f