Changeset 9bd7cb in git


Ignore:
Timestamp:
Jul 8, 2020, 1:46:34 PM (4 years ago)
Author:
Hans Schoenemann <hannes@…>
Branches:
(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', 'd25190065115c859833252500a64cfb7b11e3a50')
Children:
845303c4a573ad31658af9582a15bbf7f66b9319
Parents:
914b60371b89ca64f4de49c2623ae8ed3cbe48b94de3dc02c6b3c86bc0d8323974a83f6f90d4ede7
git-author:
Hans Schoenemann <hannes@mathematik.uni-kl.de>2020-07-08 13:46:34+02:00
git-committer:
GitHub <noreply@github.com>2020-07-08 13:46:34+02:00
Message:
Merge pull request #1020 from fingolfin/mh/make_tar

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

Legend:

Unmodified
Added
Removed
  • make_tar.sh

    • Property mode changed from 100644 to 100755
    r914b60 r9bd7cb  
    1 #!/bin/sh
    2 # Hannes helper to build tar files for the ftp server:
    3 # to be called: bash make_tar.sh
     1#!/usr/bin/env bash
     2# Hannes helper to build tar files for the ftp server
     3
     4set -e
    45
    56TARVERSION=4.1.3p2
Note: See TracChangeset for help on using the changeset viewer.