diff options
Diffstat (limited to 'build-aux/xdrgen')
| -rwxr-xr-x | build-aux/xdrgen | 8 | 
1 files changed, 4 insertions, 4 deletions
diff --git a/build-aux/xdrgen b/build-aux/xdrgen index e826111b9cc..c6dd5cc0340 100755 --- a/build-aux/xdrgen +++ b/build-aux/xdrgen @@ -1,4 +1,4 @@ -#!/bin/bash +#!/bin/sh  append_licence_header ()  { @@ -67,7 +67,7 @@ gen_headers ()      rm -f $hfile;      rpcgen -h -o $hfile $xfile;      # the '#ifdef' part of file should be fixed -    sed -i -e 's/-/_/g' $hfile; +    sed -e 's/-/_/g' $hfile > ${hfile}.new && mv ${hfile}.new $hfile;       # Gen header to temp file and append generated file      append_licence_header $hfile $tmp_hfile;      # now move the destination file to actual original file @@ -85,11 +85,11 @@ main ()          exit 1;      fi -    if [ $1 == "header" ]; then +    if [ $1 = "header" ]; then          gen_headers $2      fi -    if [ $1 == "source" ]; then +    if [ $1 = "source" ]; then          gen_sources $2      fi  }  | 
