mirror of
https://github.com/mozilla/pdf.js.git
synced 2025-04-26 10:08:06 +02:00
Merge pull request #2035 from yurydelendik/makemakefile
Generates proxy Makefile
This commit is contained in:
commit
55ebff6059
2 changed files with 11 additions and 0 deletions
10
make.js
10
make.js
|
@ -812,3 +812,13 @@ target.clean = function() {
|
|||
rm('-rf', BUILD_DIR);
|
||||
};
|
||||
|
||||
//
|
||||
// make makefile
|
||||
//
|
||||
target.makefile = function() {
|
||||
var makefileContent = 'help:\n\tnode make\n\n';
|
||||
for (var i in target) {
|
||||
makefileContent += i + ':\n\tnode make ' + i + '\n\n';
|
||||
}
|
||||
makefileContent.to('Makefile');
|
||||
};
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue