diff options
Diffstat (limited to 'devel/ros-rx/files/patch-3173')
| -rw-r--r-- | devel/ros-rx/files/patch-3173 | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/devel/ros-rx/files/patch-3173 b/devel/ros-rx/files/patch-3173 deleted file mode 100644 index d4c813de1c8b..000000000000 --- a/devel/ros-rx/files/patch-3173 +++ /dev/null @@ -1,10 +0,0 @@ ---- tools/rosbash/rosbash.orig 2010-06-28 22:22:33.000000000 +0200 -+++ tools/rosbash/rosbash 2010-12-03 19:52:43.000000000 +0100 -@@ -1,6 +1,6 @@ - - function _rossed { -- if [[ `uname` == Darwin ]]; then -+ if [[ `uname` == Darwin || `uname` == FreeBSD ]]; then - sed -E "$@" - else - sed -r "$@" |