diff options
Diffstat (limited to 'scripts/pki_patch_maker')
| -rwxr-xr-x | scripts/pki_patch_maker | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/pki_patch_maker b/scripts/pki_patch_maker index 2803d26fb..9cf2fdbd5 100755 --- a/scripts/pki_patch_maker +++ b/scripts/pki_patch_maker @@ -1,4 +1,4 @@ -#!/bin/bash +#!/bin/sh ## BEGIN COPYRIGHT BLOCK ## (C) 2011 Red Hat, Inc. ## All rights reserved. |