Fixes in SH scripts
This commit is contained in:
parent
140a0fe0b2
commit
3969df5a5d
@ -1,4 +1,5 @@
|
|||||||
#!/bin/sh
|
#!/bin/sh
|
||||||
|
set -e
|
||||||
|
|
||||||
dockerfile_name="build"
|
dockerfile_name="build"
|
||||||
# Generic dockerfile
|
# Generic dockerfile
|
||||||
|
@ -1,4 +1,5 @@
|
|||||||
#!/bin/sh
|
#!/bin/sh
|
||||||
|
set -e
|
||||||
|
|
||||||
dockerfile_name="package"
|
dockerfile_name="package"
|
||||||
dockerfile=""
|
dockerfile=""
|
||||||
|
@ -1,11 +1,14 @@
|
|||||||
|
#!/bin/sh
|
||||||
|
set -e
|
||||||
|
|
||||||
# This script accepts three arguments, os family, os and its version,
|
# This script accepts three arguments, os family, os and its version,
|
||||||
# which are subsequently used to fetch the respective docker
|
# which are subsequently used to fetch the respective docker
|
||||||
# image from the ocaml/infrastructure project.
|
# image from the ocaml/infrastructure project.
|
||||||
#
|
#
|
||||||
# https://github.com/ocaml/infrastructure/wiki/Containers#selecting-linux-distributions
|
# https://github.com/ocaml/infrastructure/wiki/Containers#selecting-linux-distributions
|
||||||
target_os_family=$1
|
target_os_family="$1"
|
||||||
target_os=$2
|
target_os="$2"
|
||||||
target_os_version=$3
|
target_os_version="$3"
|
||||||
|
|
||||||
# Variables configured at the CI level
|
# Variables configured at the CI level
|
||||||
dist="$LIGO_DIST_DIR"
|
dist="$LIGO_DIST_DIR"
|
||||||
|
Loading…
Reference in New Issue
Block a user