diff options
| author | umarcor <unai.martinezcorral@ehu.eus> | 2021-01-16 08:35:38 +0100 |
|---|---|---|
| committer | tgingold <tgingold@users.noreply.github.com> | 2021-01-16 13:53:13 +0100 |
| commit | e5c609f31d485dcb5796103d5b8b0cf332960070 (patch) | |
| tree | 40aae76e24c05da8aad0f93d63d72fe5b6cdee0d /.github | |
| parent | 173171d2b31111452446c6ee3e4ee21768cf41cf (diff) | |
| download | ghdl-e5c609f31d485dcb5796103d5b8b0cf332960070.tar.gz ghdl-e5c609f31d485dcb5796103d5b8b0cf332960070.tar.bz2 ghdl-e5c609f31d485dcb5796103d5b8b0cf332960070.zip | |
libraries: unuse 'openieee', rename enable_openieee to enable_gplcompat
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/push.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml index ec2d10431..5ccca9a90 100644 --- a/.github/workflows/push.yml +++ b/.github/workflows/push.yml @@ -113,7 +113,7 @@ jobs: - name: '🧰 Checkout' uses: actions/checkout@v2 - - run: TASK=buster+mcode ./scripts/ci-run.sh -c --gpl --no-synth + - run: TASK=buster+mcode ./scripts/ci-run.sh -c --gplcompat # # GNU/Linux |