@ -12,6 +12,6 @@
# GNU General Public License can be found in the file COPYING.
# --- SDE-COPYRIGHT-NOTE-END ---
var_append makeopt ' ' 'prefix=$root$prefix'
var_append makeinstopt ' ' 'prefix=$root$prefix'
var_append makeopt ' ' 'prefix=$root/$prefix'
var_append makeinstopt ' ' 'prefix=$root/$prefix'