diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-05-29 14:29:10 +0200 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-05-29 14:29:10 +0200 |
| commit | 3aa45f72a8c8b33087fddab070a069adc5487244 (patch) | |
| tree | 0b384dc4acc59d30748a7511ade19cf8b670c4c3 /test/monniaux/genmake.py | |
| parent | d57b14ba5eafae9b9b2b8fb60b1592efa88c69ed (diff) | |
| download | compcert-kvx-3aa45f72a8c8b33087fddab070a069adc5487244.tar.gz compcert-kvx-3aa45f72a8c8b33087fddab070a069adc5487244.zip | |
use /usr/bin/env
Diffstat (limited to 'test/monniaux/genmake.py')
| -rwxr-xr-x | test/monniaux/genmake.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/monniaux/genmake.py b/test/monniaux/genmake.py index d04ba70c..62b97836 100755 --- a/test/monniaux/genmake.py +++ b/test/monniaux/genmake.py @@ -1,4 +1,4 @@ -#!/usr/bin/python3.6 +#!/usr/bin/env python3 """ Custom Makefile generator |