diff options
| author | Gustav Sörnäs <gustav@sornas.net> | 2020-11-24 00:41:57 +0100 |
|---|---|---|
| committer | Gustav Sörnäs <gustav@sornas.net> | 2020-11-24 00:41:57 +0100 |
| commit | c57b3079ef115ebf3a5fa25acdae043b31948ef3 (patch) | |
| tree | b24682654b994a31f99c684e8064c22843b41314 /src/Makefile.userprog | |
| parent | eb7ccd85f42f18b39f9ac25c20147c8e06f49bc9 (diff) | |
| download | pintos-rs-c57b3079ef115ebf3a5fa25acdae043b31948ef3.tar.gz | |
add rust release target, compile and copy libpintos
Diffstat (limited to 'src/Makefile.userprog')
0 files changed, 0 insertions, 0 deletions