diff options
Diffstat (limited to 'recipes/ivman/files/ivman-launch.patch')
| -rw-r--r-- | recipes/ivman/files/ivman-launch.patch | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/recipes/ivman/files/ivman-launch.patch b/recipes/ivman/files/ivman-launch.patch new file mode 100644 index 0000000000..8595a4d806 --- /dev/null +++ b/recipes/ivman/files/ivman-launch.patch @@ -0,0 +1,15 @@ +--- ivman-0.6.14/ivman-launch.orig 2008-09-29 11:58:49.000000000 +0300 ++++ ivman-0.6.14/ivman-launch 2008-09-29 12:02:17.000000000 +0300 +@@ -1,11 +1,10 @@ +-#!/bin/bash ++#!/bin/sh + # This script was written by Daniele Favara <danjele@gmail.com> + # + CMD=ivman + CONFDIR= # the config dir | null + EXITWITH= + SESSION= +-set -x + while [ ! -z "$1" ];do + case "$1" in + --help|-h) |