mirror of
https://github.com/mikpe/pdp10-tools.git
synced 2026-01-11 23:53:19 +00:00
rebar3: bump to 3.25.1
This commit is contained in:
parent
b6b2f8b1df
commit
b918011a55
@ -19,7 +19,7 @@
|
|||||||
SHELL=/bin/bash
|
SHELL=/bin/bash
|
||||||
REBAR3=$(shell type -p rebar3 || echo ./rebar3)
|
REBAR3=$(shell type -p rebar3 || echo ./rebar3)
|
||||||
REBAR3_GIT=https://github.com/erlang/rebar3.git
|
REBAR3_GIT=https://github.com/erlang/rebar3.git
|
||||||
REBAR3_VSN=3.25.0
|
REBAR3_VSN=3.25.1
|
||||||
|
|
||||||
PROGRAMS=8to9 ar as elf2boot ld nm od readelf sim
|
PROGRAMS=8to9 ar as elf2boot ld nm od readelf sim
|
||||||
|
|
||||||
|
|||||||
Loading…
x
Reference in New Issue
Block a user