Searched refs:default_prefix (Results 1 – 3 of 3) sorted by relevance
50 default_prefix="/usr/local"51 if [ "x${prefix}" = "x" ]; then prefix="$default_prefix"; fi
20 default_prefix NMTOKEN "_mesa_" attribute