SuccessChanges

Summary

  1. Jenkns problem was unrelated, re-added sample make file. (commit: 903dc09) (details)
Commit 903dc097b170a77a6d27e9583f75c11a951cd4ac by Victor Bandur
Jenkns problem was unrelated, re-added sample make file.
new file:   c/vdmclib/src/SampleMakefile
(commit: 903dc09)
The file was addedc/vdmclib/src/SampleMakefile