diff options
author | wjv <wjv@FreeBSD.org> | 2001-10-22 15:30:30 +0000 |
---|---|---|
committer | wjv <wjv@FreeBSD.org> | 2001-10-22 15:30:30 +0000 |
commit | 2373bc2f9bcd34001de810053173148ad240c5ee (patch) | |
tree | 744ccdd6ba72ca4ad41d875a7fc45d98bb2de651 /www/quixote/scripts | |
parent | bc63b896c6566d0527ecc14806b3414da715bc99 (diff) | |
download | FreeBSD-ports-2373bc2f9bcd34001de810053173148ad240c5ee.zip FreeBSD-ports-2373bc2f9bcd34001de810053173148ad240c5ee.tar.gz |
Add script file which was forgotten during previous commit. :-(
Diffstat (limited to 'www/quixote/scripts')
-rw-r--r-- | www/quixote/scripts/compile_ptl.py | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/www/quixote/scripts/compile_ptl.py b/www/quixote/scripts/compile_ptl.py new file mode 100644 index 0000000..51fec73 --- /dev/null +++ b/www/quixote/scripts/compile_ptl.py @@ -0,0 +1,5 @@ +import sys +from quixote import ptl_compile + +for srcfile in sys.argv[1:]: + ptl_compile.compile(srcfile, srcfile + 'c') |