diff options
| author | klaar36 <klas.arvidsson@liu.se> | 2016-04-13 18:46:11 +0200 |
|---|---|---|
| committer | klaar36 <klas.arvidsson@liu.se> | 2016-04-13 18:46:11 +0200 |
| commit | 20916967e7efc49716e17725d157693f254eface (patch) | |
| tree | ee239be59ca0d55e064575311ae70341b9fe4b3f /src/examples | |
| parent | f169fd23549263640e58b278d2baf4aabd73d734 (diff) | |
| download | pintos-rs-20916967e7efc49716e17725d157693f254eface.tar.gz | |
changed to -std=gnu99 compilation
Diffstat (limited to 'src/examples')
| -rw-r--r-- | src/examples/libc.a | bin | 77646 -> 0 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/src/examples/libc.a b/src/examples/libc.a Binary files differdeleted file mode 100644 index ce42863..0000000 --- a/src/examples/libc.a +++ /dev/null |