Searched refs:EXTENSIONFILE (Results 1 – 1 of 1) sorted by relevance
65 EXTENSIONFILE=`basename $FILE`66 INSTALLED=`sed -n "/$EXTENSIONFILE/p" $EXTENSIONDIR/installed`
Completed in 6 milliseconds