getopt failure: now fails when reading more than $file.size from $file.
[pub/jan/parprog.git] / prefix / Makefile
2012-01-26 David Kaufmannmoved code