diff options
Diffstat (limited to 'games/0ad/files/patch-build_workspaces_update-workspaces.sh')
| -rw-r--r-- | games/0ad/files/patch-build_workspaces_update-workspaces.sh | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/games/0ad/files/patch-build_workspaces_update-workspaces.sh b/games/0ad/files/patch-build_workspaces_update-workspaces.sh deleted file mode 100644 index 7768c92a886a..000000000000 --- a/games/0ad/files/patch-build_workspaces_update-workspaces.sh +++ /dev/null @@ -1,13 +0,0 @@ ---- build/workspaces/update-workspaces.sh.orig 2025-01-28 19:57:28 UTC -+++ build/workspaces/update-workspaces.sh -@@ -1,10 +1,5 @@ - #!/bin/sh - --if [ "$(id -u)" = "0" ]; then -- echo "Running as root will mess up file permissions. Aborting ..." 1>&2 -- exit 1 --fi -- - die() - { - echo ERROR: "$*" |