Skip to content
Permalink
master
Switch branches/tags

Name already in use

A tag already exists with the provided branch name. Many Git commands accept both tag and branch names, so creating this branch may cause unexpected behavior. Are you sure you want to create this branch?

hypothesis/Makefile

Go to file
 
 
Cannot retrieve contributors at this time
6 lines (5 sloc) 242 Bytes
Raw Blame
Open in GitHub Desktop
# You don't need to use this Makefile and should use build.sh instead. This is
# just here so that us poor souls who remember the Make based system and keep
# typing "make target" can ease our transition to the new system.
%:
./build.sh $@