1
0
mirror of https://github.com/gnss-sdr/gnss-sdr synced 2024-12-15 04:30:33 +00:00

Fix error?

This commit is contained in:
Carles Fernandez 2019-07-09 20:39:11 +02:00
parent abced60028
commit 80021adcde
No known key found for this signature in database
GPG Key ID: 4C583C52B0C3877D

View File

@ -45,8 +45,8 @@
# This is performed before the scripts in the stages step # This is performed before the scripts in the stages step
before_script: #before_script:
- source /etc/profile # - source /etc/profile
# Defines stages which are to be executed # Defines stages which are to be executed