From 6847b36b58dfade520767b605ec0d5d29abe4179 Mon Sep 17 00:00:00 2001 From: Shahram Najm Date: Fri, 12 Aug 2022 15:22:20 +0100 Subject: [PATCH] Scripts: Do not use ksh --- src/make_accessor_class_hash.ksh | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/src/make_accessor_class_hash.ksh b/src/make_accessor_class_hash.ksh index 91be79748..6e8236c9e 100755 --- a/src/make_accessor_class_hash.ksh +++ b/src/make_accessor_class_hash.ksh @@ -1,4 +1,4 @@ -#!/usr/bin/ksh +#!/bin/sh set -ex cat > accessor_class_list.gperf <> accessor_class_list.gp # editing grib_accessor_classes_hash.c +gperf --version +echo + gperf -C -W classes -t -G -H grib_accessor_classes_get_id -N grib_accessor_classes_hash -m 1 -j 1 accessor_class_list.gperf |\ sed s/__inline//g | sed s/inline//g > grib_accessor_classes_hash.c