Skip to content

Commit

Permalink
Update README.md
Browse files Browse the repository at this point in the history
  • Loading branch information
@minkiminki
minkiminki authored Oct 19, 2019
1 parent 9f6f447 commit 19bf3b3
Showing 1 changed file with 1 addition and 2 deletions.
3 changes: 1 addition & 2 deletions README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -9,8 +9,7 @@ CompCertM is based on [CompCertR](https://github.com/snu-sf/CompCertR) which is
2) **Go to CompCertR directory** and issue the following commands: <pre>
git clone https://github.com/snu-sf/CompCertM.git linking
cd linking
make -j[N]
</pre>
make -j[N]</pre>

## Code Structure

Expand Down

0 comments on commit 19bf3b3

Please sign in to comment.