mirrors/pdf.js
1
0
Fork 0
mirror of https://github.com/mozilla/pdf.js.git synced 2025-04-25 09:38:06 +02:00
Code Activity

Introducing gulp.

Browse source
This commit is contained in:
Yury Delendik 2016-03-04 09:36:46 -06:00
parent e1906035ca
commit 9798e1007e
5 changed files with 121 additions and 25 deletions
Download patch file Download diff file Expand all files Collapse all files

22
make.js
View file

@ -1477,15 +1477,8 @@ target.mozcentralcheck = function() {
//
// make server
//
target.server = function() {
cd(ROOT_DIR);
echo();
echo('### Starting local server');
var WebServer = require('./test/webserver.js').WebServer;
var server = new WebServer();
server.port = 8888;
server.start();
target.server = function () {
exit(exec('gulp server'));
};
//
@ -1529,15 +1522,8 @@ target.clean = function() {
//
// make makefile
//
target.makefile = function() {
var makefileContent = 'help:\n\tnode make\n\n';
var targetsNames = [];
for (var i in target) {
makefileContent += i + ':\n\tnode make ' + i + '\n\n';
targetsNames.push(i);
}
makefileContent += '.PHONY: ' + targetsNames.join(' ') + '\n';
makefileContent.to('Makefile');
target.makefile = function () {
exit(exec('gulp makefile'));
};
//