mirror of
https://github.com/arduino/Arduino.git
synced 2025-02-20 14:54:31 +01:00
Merge branch 'master' of github.com:arduino/Arduino
This commit is contained in:
commit
3650b471b9
@ -314,7 +314,7 @@
|
||||
|
||||
<target name="linux-run" depends="linux-build"
|
||||
description="Run Linux version">
|
||||
<exec executable="linux/work/arduino" dir="linux/work" spawn="false"/>
|
||||
<exec executable="./arduino" dir="linux/work" spawn="false"/>
|
||||
</target>
|
||||
|
||||
<target name="linux-dist" depends="linux-build"
|
||||
|
Loading…
x
Reference in New Issue
Block a user