$TOOLEXT
In dieser Variable ist die Dateiendung der Skripte (
VMAKE kennt nur den ersten Teil der Dateinamen der zu verwendenden Skripte. Zur Ermittlung der Dateiendung verwendet VMAKE diese Variable.
set TOOLEXT=.pl