Commit e3133319 authored by vagrant's avatar vagrant
Browse files

Updqte scripts after GitLab migration

parent 0c99ba07
Loading
Loading
Loading
Loading
+1 −1
Changes for scripts/autointerop_generate_makefile.bash: 1 added line, 1 removed line.
Original line number Diff line number Diff line
#!/bin/bash
set -e
#set -e
set -vx

function f_exit {
+1 −1
Changes for scripts/cam_generate_makefile.bash: 1 added line, 1 removed line.
Original line number Diff line number Diff line
#!/bin/bash
set -e
#set -e
set -vx

function f_exit {
+1 −1
Changes for scripts/denm_generate_makefile.bash: 1 added line, 1 removed line.
Original line number Diff line number Diff line
#!/bin/bash
set -e
#set -e
set -vx

function f_exit {
+1 −1
Changes for scripts/gencert_generate_makefile.bash: 1 added line, 1 removed line.
Original line number Diff line number Diff line
#!/bin/bash
set -e
#set -e
set -vx

function f_exit {
+1 −1
Changes for scripts/geonw_generate_makefile.bash: 1 added line, 1 removed line.
Original line number Diff line number Diff line
#!/bin/bash
set -e
#set -e
set -vx

function f_exit {
Loading