Skip to content

Commit 67d89c7

Browse files
sreeshmaheshwarccadar
authored andcommitted
Link Coreutils patching required for older versions
1 parent e6b86b6 commit 67d89c7

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

tutorials/testing-coreutils.md

+1-1
Original file line numberDiff line numberDiff line change
@@ -13,7 +13,7 @@ All tests were done on a 64-bit Linux machine.
1313

1414
## Step 1: Build coreutils with gcov
1515

16-
First you will need to download and unpack the source for [coreutils](http://www.gnu.org/software/coreutils/). In this example we use version 6.11 (one version later than what was used for our OSDI paper) but you can use any version of Coreutils. However, for recent versions the `make -C src arch hostname` step can be skipped.
16+
First you will need to download and unpack the source for [coreutils](http://www.gnu.org/software/coreutils/). In this example we use version 6.11 (one version later than what was used for our OSDI paper) but you can use any version of Coreutils. Note that older versions require patching to work on newer systems - details and instructions can be found [here](https://github.com/coreutils/coreutils/blob/master/scripts/build-older-versions/README.older-versions). Also, for recent versions, the `make -C src arch hostname` step can be skipped.
1717

1818
Before we build with LLVM, let's build a version of _coreutils_ with _gcov_ support. We will use this later to get coverage information on the test cases produced by KLEE.
1919

0 commit comments

Comments
 (0)