@ -13,7 +13,7 @@
# GNU General Public License can be found in the file COPYING.
# --- SDE-COPYRIGHT-NOTE-END ---
if [ $prefix_auto = 1 ] ; then
prefix="opt/prelude"
prefix="usr"
set_confopt
fi