Changeset 4de3dc in git

Timestamp:

Jul 8, 2020, 12:36:45 PM (4 years ago)

Author:

Max Horn <max@…>

Branches:

(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', 'fc741b6502fd8a97288eaa3eba6e5220f3c3df87')

Children:

9bd7cb708540aed8dc6ea40c071e5b0ff24576e9

Parents:

914b60371b89ca64f4de49c2623ae8ed3cbe48b9

Message:

make_tar.sh: always execute using bash; abort on error

File:

• make_tar.sh (modified) (1 diff, 1 prop)

make_tar.sh

@@ -1 @@
-#!/bin/sh
-# Hannes helper to build tar files for the ftp server:
-# to be called: bash make_tar.sh
+#!/usr/bin/env bash
+# Hannes helper to build tar files for the ftp server
+
+set -e
 
 TARVERSION=4.1.3p2