]> mj.ucw.cz Git - eval.git/commit
projects / eval.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6cba597) | patch
Introduced extension aliases.
authorMartin Mares <mj@ucw.cz>
Wed, 19 Mar 2008 12:52:27 +0000 (13:52 +0100)
committerMartin Mares <mj@ucw.cz>
Wed, 19 Mar 2008 12:52:27 +0000 (13:52 +0100)
commitb2cd4a0eedc0a59821d144b2edde40a95ea7f522
tree61cb4fb704622486ff1091952b270dd67e6815a4tree | snapshot
parent6cba59728737842b32077102280642d269b78d90commit | diff
Introduced extension aliases.

When several filename extensions corresponded to the same programming language,
the compiler and runtime settings had to be duplicated.

It is now possible to define one extension as an alias for another, so that
it is used only for locating the source. The copy of the program in $TDIR
already has the new extension and it is processed according to it.
bin/lib diff | blob | history
config diff | blob | history
MOE -- A modular contest system