diff options
Diffstat (limited to 'devel/ros-documentation/files/patch-3172')
| -rw-r--r-- | devel/ros-documentation/files/patch-3172 | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/devel/ros-documentation/files/patch-3172 b/devel/ros-documentation/files/patch-3172 deleted file mode 100644 index 67f7aea1d982..000000000000 --- a/devel/ros-documentation/files/patch-3172 +++ /dev/null @@ -1,11 +0,0 @@ ---- tools/rosmsg/src/rosmsg.py.orig 2010-08-13 02:20:15.000000000 +0200 -+++ tools/rosmsg/src/rosmsg.py 2010-12-03 18:54:32.000000000 +0100 -@@ -81,7 +81,7 @@ - return val - - def make_find_command(path): -- if os.uname()[0] == 'Darwin': -+ if os.uname()[0] in ['Darwin', 'FreeBSD']: - return ["find", "-E", path] - else: - return ["find", path, "-regextype", "posix-egrep"] |