Scripts: Remove ksh

This commit is contained in:
Shahram Najm 2023-01-12 13:28:46 +00:00
parent 1bce764162
commit c3e0a65142
2 changed files with 2 additions and 2 deletions

View File

@ -4,7 +4,7 @@ set -xe
cd ../tests cd ../tests
echo "List all keys..." echo "List all keys..."
./list_all_keys.ksh ./list_all_keys.sh
cd ../src cd ../src

View File

@ -1,7 +1,7 @@
#!/usr/bin/ksh #!/usr/bin/ksh
set -ex set -ex
./list_all_keys.ksh ./list_all_keys.sh
gperf -I -t -G -H hash_keys -N grib_keys_hash_get -m 3 keys > ../src/grib_hash_keys.c gperf -I -t -G -H hash_keys -N grib_keys_hash_get -m 3 keys > ../src/grib_hash_keys.c