diff options
| author |   Keri Harris <keri@gentoo.org> | 2008-07-06 08:05:27 +0000 |
|---|---|---|
| committer | Keri Harris <keri@gentoo.org> | 2008-07-06 08:05:27 +0000 |
| commit | b686c5064bcebe3dd399864ac0af9024fe5f015f (patch) | |
| tree | 61ffaf7e62758000ce00aefd73c8123bf0f13f28 /dev-lang/mozart/files/mozart-1.4.0-ozhome.patch | |
| parent | Stable on x86 wrt #228647 (diff) | |
| download | gentoo-2-b686c5064bcebe3dd399864ac0af9024fe5f015f.tar.gz gentoo-2-b686c5064bcebe3dd399864ac0af9024fe5f015f.tar.bz2 gentoo-2-b686c5064bcebe3dd399864ac0af9024fe5f015f.zip | |
Version bump.
(Portage version: 2.1.5.5)
Diffstat (limited to 'dev-lang/mozart/files/mozart-1.4.0-ozhome.patch')
| -rw-r--r-- | dev-lang/mozart/files/mozart-1.4.0-ozhome.patch | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/dev-lang/mozart/files/mozart-1.4.0-ozhome.patch b/dev-lang/mozart/files/mozart-1.4.0-ozhome.patch new file mode 100644 index 000000000000..2479ecab2c09 --- /dev/null +++ b/dev-lang/mozart/files/mozart-1.4.0-ozhome.patch @@ -0,0 +1,11 @@ +--- mozart-1.4.0.20080704.orig/share/bin/oz.in 2008-04-22 20:40:41.000000000 +1200 ++++ mozart-1.4.0.20080704/share/bin/oz.in 2008-07-06 19:04:46.000000000 +1200 +@@ -4,7 +4,7 @@ + # to draw links from say /usr/local/bin to OZHOME/bin + # see chapter "installation" in the users manual for more information + +-# OZHOME=/usr/local/mozart ++OZHOME=/usr/lib/mozart + + + |