mirror of
https://github.com/steveicarus/iverilog.git
synced 2026-09-03 08:25:32 +02:00
ci/lin: install to system, not HOME
This commit is contained in:
@@ -30,14 +30,12 @@ jobs:
|
||||
- name: Build
|
||||
run: |
|
||||
autoconf
|
||||
./configure --prefix=$HOME
|
||||
make install
|
||||
./configure
|
||||
sudo make install
|
||||
make check
|
||||
|
||||
- name: Test
|
||||
run: |
|
||||
export PATH=$HOME/bin:$PATH
|
||||
sh .github/test.sh
|
||||
run: sh .github/test.sh
|
||||
|
||||
|
||||
win:
|
||||
|
||||
Reference in New Issue
Block a user