+ OSF1)
+ # it's changed name twice since it was called OSF/1: clearly
+ # the marketers forgot to tell the engineers about Digital Unix
+ # _or_ OSF/1 ...
+ printf ' :osf1' >> $ltf
+ ln -s Config.$sbcl_arch-osf1 Config
+ ln -s $sbcl_arch-osf1-os.h target-arch-os.h
+ ln -s osf1-os.h target-os.h
+ ;;