diff options
| author | Joseph Koshy <jkoshy@FreeBSD.org> | 2006-07-17 10:12:07 +0000 |
|---|---|---|
| committer | Joseph Koshy <jkoshy@FreeBSD.org> | 2006-07-17 10:12:07 +0000 |
| commit | 8e16deea6ea9859527e5be6f0eb679be07a723ee (patch) | |
| tree | 32a5b72bcd60bd331efd7274fc9babe9e7443a36 /emulators/spim/files/patch-spim_Configure | |
| parent | This port now builds on 7-CURRENT (diff) | |
Upgrade to v7.2.1.
Upstream changes from the previous ported version include:
- bug fixes and documentation cleanups
The port now offers a 'GUI' knob that controls whether the X GUI
interface is built.
Take maintainership.
Diffstat (limited to 'emulators/spim/files/patch-spim_Configure')
| -rw-r--r-- | emulators/spim/files/patch-spim_Configure | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/emulators/spim/files/patch-spim_Configure b/emulators/spim/files/patch-spim_Configure new file mode 100644 index 000000000000..a3c0da7ac0a7 --- /dev/null +++ b/emulators/spim/files/patch-spim_Configure @@ -0,0 +1,8 @@ +--- ./spim/Configure.orig Mon Aug 29 02:28:14 2005 ++++ ./spim/Configure Mon Jul 17 09:08:49 2006 +@@ -1,4 +1,4 @@ +-#!/usr/bin/env bash ++#!/bin/sh + # + # Shell script to configure SPIM. + # |