view 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 source

--- 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