Skip to content
Snippets Groups Projects

Added add_lib_to_ld_config.sh and remove_lib_from_ld_config.sh user scripts....

Merged Sergi Hernandez requested to merge ubuntu_18_04 into master
1 file
+ 2
1
Compare changes
  • Side-by-side
  • Inline
+ 2
1
@@ -8,7 +8,7 @@ stages:
build-package:
stage: build
script:
- apt update || apt -y install ca-certificates && apt update
- apt update || apt -y install ca-certificates && apt update
# Uncomment to install dependencies
# - apt -y install iri-<package_name>-dev
- mkdir -pv build
@@ -31,3 +31,4 @@ update_repo:
only:
- tags
Loading