diff options
| author | P. J. McDermott <pjm@nac.net> | 2012-06-21 02:15:11 (EDT) |
|---|---|---|
| committer | P. J. McDermott <pjm@nac.net> | 2012-06-21 02:15:11 (EDT) |
| commit | aef095e234fac2b441e891a90abc73cce892bb0d (patch) | |
| tree | d0afe7bb24501b415851f83f6b76ec33f64aa381 | |
| parent | 9013caa232468f7a5feb5f77ebee6891fc17aed3 (diff) | |
Add maintainer scripts to provide cc alternative.
| -rwxr-xr-x | gcc.pkg/postinst | 5 | ||||
| -rwxr-xr-x | gcc.pkg/prerm | 5 |
2 files changed, 10 insertions, 0 deletions
diff --git a/gcc.pkg/postinst b/gcc.pkg/postinst new file mode 100755 index 0000000..9fd34c0 --- /dev/null +++ b/gcc.pkg/postinst @@ -0,0 +1,5 @@ +#! /bin/sh + +if [ "${1}" = configure ]; then + update-alternatives --install /usr/bin/cc cc /usr/bin/gcc 20 +fi diff --git a/gcc.pkg/prerm b/gcc.pkg/prerm new file mode 100755 index 0000000..5d0150b --- /dev/null +++ b/gcc.pkg/prerm @@ -0,0 +1,5 @@ +#! /bin/sh + +if [ "${1}" = remove ]; then + update-alternatives --remove cc /usr/bin/gcc +fi |