Skip to content

Commit 95b78bb

Browse files
committed
Removing unused stuff relating to FFI code
1 parent a1bf336 commit 95b78bb

File tree

2 files changed

+1
-12
lines changed

2 files changed

+1
-12
lines changed

gulpfile.js

Lines changed: 1 addition & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -2,8 +2,6 @@
22
"use strict";
33

44
var gulp = require("gulp");
5-
var jshint = require("gulp-jshint");
6-
var jscs = require("gulp-jscs");
75
var plumber = require("gulp-plumber");
86
var purescript = require("gulp-purescript");
97

@@ -12,14 +10,7 @@ var sources = [
1210
"bower_components/purescript-*/src/**/*.purs"
1311
];
1412

15-
gulp.task("lint", function() {
16-
return gulp.src("src/**/*.js")
17-
.pipe(jshint())
18-
.pipe(jshint.reporter())
19-
.pipe(jscs());
20-
});
21-
22-
gulp.task("make", ["lint"], function() {
13+
gulp.task("make", function() {
2314
return gulp.src(sources)
2415
.pipe(plumber())
2516
.pipe(purescript.pscMake());

package.json

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -2,8 +2,6 @@
22
"private": true,
33
"devDependencies": {
44
"gulp": "^3.8.11",
5-
"gulp-jscs": "^1.6.0",
6-
"gulp-jshint": "^1.10.0",
75
"gulp-plumber": "^1.0.0",
86
"gulp-purescript": "^0.5.0"
97
}

0 commit comments

Comments
 (0)