#!/bin/bash prefix=$2 old_sdk=$prefix/../../2012.5 new_sdk=$prefix/../../0.10 sudo pkgutil --regexp --forget gstreamer* sudo pkgutil --regexp --forget gtk* sudo pkgutil --regexp --forget gobject* sudo pkgutil --regexp --forget base-system* sudo pkgutil --forget osx-framework sudo pkgutil --forget snappy if [ -d "$old_sdk" ]; then if [ -L "$old_sdk" ]; then exit 0 else sudo cp -r "$old_sdk/*" "$new_sdk" fi fi if [ ! -d "$new_sdk" ]; then sudo mkdir -p "$new_sdk" fi sudo rm -rf "$old_sdk" sudo ln -s "$new_sdk" "$old_sdk" exit 0