Permalink
Browse files

Add a profile rule to omake.

  • Loading branch information...
1 parent 53dc383 commit aebd19549c201697adff6e8ec540e259854960f9 @g2p committed Feb 10, 2010
Showing with 21 additions and 2 deletions.
  1. +2 −0 .gitignore
  2. +6 −2 OMakefile
  3. +13 −0 profile/coverage
View
@@ -17,6 +17,7 @@
/.omakedb.lock
/OMakefile.omc
/OMakeroot.omc
+/profile/bisect????.out
/profile/git-fs
/profile/git_fs.cmi
/profile/git_fs.cmo
@@ -28,3 +29,4 @@
/profile/git-fs.run
/profile/OMakefile
/profile/OMakefile.omc
+/profile/report
View
@@ -1,6 +1,5 @@
-#OCAMLPACKS[] =
-#OCAMLFINDFLAGS =
+.PHONY: profile
section
vmount(-l, src, build)
@@ -12,3 +11,8 @@ section
OCAMLFINDFLAGS += -syntax camlp4o
.SUBDIRS: profile
+profile: profile/git-fs
+ # Some commands are here to exercise error paths.
+ cd profile && ./coverage && \
+ sh -c 'ocamlfind bisect/bisect-report bisect*.out -html report'
+ echo "Report available at profile/report/index.html"
View
@@ -0,0 +1,13 @@
+#!/bin/sh
+set -e
+exec >/dev/null 2>/dev/null
+./git-fs umount || true
+trap 'kill $pid' EXIT
+./git-fs mount & pid=$!
+cat "$(./git-fs show-mountpoint)"/heads/master/worktree/README || true
+cat "$(./git-fs show-mountpoint)"/heads/master/worktree/README
+tree -al "$(./git-fs show-mountpoint)"
+./git-fs umount
+./git-fs umount || true
+! ps -fp "$pid"
+

0 comments on commit aebd195

Please sign in to comment.