diff debian/patches/23_bashism @ 4:c5749e43b1d7

Adding debian files (to original 1.1.29)
author Peter Gervai <grin@grin.hu>
date Wed, 15 Oct 2008 23:35:35 +0200
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/debian/patches/23_bashism	Wed Oct 15 23:35:35 2008 +0200
@@ -0,0 +1,19 @@
+--- bins-1.1.29.orig/tools/anti_bins
++++ bins-1.1.29/tools/anti_bins
+@@ -47,7 +47,7 @@
+     exit 2
+ fi
+ 
+-if [[ $CONFIGURATION_IS_OK == 0 ]] ; then
++if [ $CONFIGURATION_IS_OK = 0 ] ; then
+     echo "Edit this script to set configuration variables."
+     exit 1
+ fi
+--- bins-1.1.29.orig/tools/add_num_prefix
++++ bins-1.1.29/tools/add_num_prefix
+@@ -1,4 +1,4 @@
+-#!/bin/sh
++#!/bin/bash
+ 
+ # Add a numeric prefix starting at $1, incrementing by $2 on $3..$n files
+