diff options
Diffstat (limited to 'pkgs/writePHPFile.nix')
-rw-r--r-- | pkgs/writePHPFile.nix | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/pkgs/writePHPFile.nix b/pkgs/writePHPFile.nix deleted file mode 100644 index e031efe..0000000 --- a/pkgs/writePHPFile.nix +++ /dev/null @@ -1,10 +0,0 @@ -{ php, writeText, runCommand }: - -name: text: -let - f = writeText name text; -in -runCommand name { } '' - ${php}/bin/php -l '${f}' - cp -a '${f}' $out -'' |