Skip to content
Snippets Groups Projects
Commit cc099999 authored by Nicolas Essing's avatar Nicolas Essing
Browse files

Fixed two small bugs in input generation

In generate.sh, the inputgenerator.py is now called as a local script.

In inputgenerator.py, use /usr/bin/env to be independent of actual python installation dir.
Explicitly use python2, which is needed by the skript and not always the default anymore.
parent 9e2e2ec9
No related branches found
No related tags found
Loading
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment