3 echo "Running php db/upgrade-db.php"
4 cd $scriptdir; php db/upgrade-db.php
5 echo "Running php utils/normalize_roles.php"
6 cd $scriptdir; php utils/normalize_roles.php
9 install6_upgrade_redhat()
14 install6_upgrade_suse()
19 install6_upgrade_debian()
24 install6_upgrade_ubuntu()
29 install6_upgrade_unknown()