Skip to content

Commit db76b06

Browse files
committed
add dummy Makefile to instrumentation/
1 parent 1fc0918 commit db76b06

File tree

2 files changed

+3
-1
lines changed

2 files changed

+3
-1
lines changed

docs/Changelog.md

+1-1
Original file line numberDiff line numberDiff line change
@@ -10,7 +10,7 @@ sending a mail to <[email protected]>.
1010

1111

1212
### Version ++3.01a (release)
13-
- ...
13+
- added dummy Makefile to instrumentation/
1414

1515

1616
### Version ++3.00c (release)

instrumentation/Makefile

+2
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,2 @@
1+
all:
2+
@echo "no need to do make in the instrumentation/ directory :) - it is all done in the main one"

0 commit comments

Comments
 (0)