blob: 2d51f2fd117d79b97d85a1c3dd7041a1573dcc75 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
|
From 93a770330aa21c91a9b7fce798b73d31cad8f16a Mon Sep 17 00:00:00 2001
From: Awais Belal <awais_belal@mentor.com>
Date: Tue, 25 Oct 2016 16:12:08 +0500
Subject: [PATCH] spirv-lesspipe.sh: allow using generic shells
The script is harmless for any type of shell and
shouldn't be tied with bash to allow catering
more possibilities.
Signed-off-by: Awais Belal <awais_belal@mentor.com>
---
tools/lesspipe/spirv-lesspipe.sh | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/tools/lesspipe/spirv-lesspipe.sh b/tools/lesspipe/spirv-lesspipe.sh
index 05831d1..4e98fee 100644
--- a/tools/lesspipe/spirv-lesspipe.sh
+++ b/tools/lesspipe/spirv-lesspipe.sh
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/bin/sh
# Copyright (c) 2016 The Khronos Group Inc.
#
--
1.9.1
|