Rev 79 | Rev 85 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 79 | Rev 83 | ||
|---|---|---|---|
| Line 42... | Line 42... | ||
| 42 | build-stamp: config.status |
42 | build-stamp: config.status |
| 43 | dh_testdir |
43 | dh_testdir |
| 44 | 44 | ||
| 45 | # Add here commands to compile the package. |
45 | # Add here commands to compile the package. |
| 46 | $(MAKE) $(jobsflag) MAKEINFO='makeinfo --enable-encoding' |
46 | $(MAKE) $(jobsflag) MAKEINFO='makeinfo --enable-encoding' |
| 47 | ifeq (,$(filter nocheck,$(DEB_BUILD_OPTIONS))) |
- | |
| 48 | $(MAKE) check |
- | |
| 49 | endif |
- | |
| 50 | 47 | ||
| 51 | touch build-stamp |
48 | touch build-stamp |
| 52 | 49 | ||
| 53 | clean: |
50 | clean: |
| 54 | dh_testdir |
51 | dh_testdir |