alexjordan

// see https://api.jquery.com/jquery.extend/
jQuery.extend = jQuery.fn.extend = function() {
    var options, name, src, copy, copyIsArray, clone,
        target = arguments[ 0 ] || {},
        i = 1,
        length = arguments.length,
        deep = false;

    // Handle a deep copy situation
    if ( typeof target === "boolean" ) {

alexjordan

#include <stdio.h>
#include <machine/patmos.h>
#include <machine/spm.h>

void _sc_reserve() __attribute__((naked,used));

void _sc_reserve()
{
  // some counter
  int i, nspill;

alexjordan

# -*- python -*-
# ex: set syntax=python:

# Benedikt Huber <benedikt@vmars.tuwien.ac.at>

# This is the patmos buildmaster config file.

# TODO:
# (1) Passing 'workdir' to almost every builder utility functions seems ugly and is hard to maintain - improve!
# (2) Instead of installing on the slave (only works locally), use the UploadFile and DownloadFile commands